This volume contains a selection of the papers presented at the Sixth Int- national Conference on the Practice and Theory ...